Optimal. Leaf size=106 \[ 3 b n x-x \left (a+b \log \left (c x^n\right )\right )+\frac {2 b n (1-e x) \log (1-e x)}{e}-\frac {(1-e x) \left (a+b \log \left (c x^n\right )\right ) \log (1-e x)}{e}-\frac {b n \text {Li}_2(e x)}{e}-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 106, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 8, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {2428, 2436,
2332, 2417, 2458, 45, 2393, 2352} \begin {gather*} x \text {PolyLog}(2,e x) \left (a+b \log \left (c x^n\right )\right )-b n x \text {PolyLog}(2,e x)-\frac {b n \text {PolyLog}(2,e x)}{e}-\frac {(1-e x) \log (1-e x) \left (a+b \log \left (c x^n\right )\right )}{e}-x \left (a+b \log \left (c x^n\right )\right )+\frac {2 b n (1-e x) \log (1-e x)}{e}+3 b n x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 2332
Rule 2352
Rule 2393
Rule 2417
Rule 2428
Rule 2436
Rule 2458
Rubi steps
\begin {align*} \int \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x) \, dx &=-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x)-(b n) \int \log (1-e x) \, dx+\int \left (a+b \log \left (c x^n\right )\right ) \log (1-e x) \, dx\\ &=-x \left (a+b \log \left (c x^n\right )\right )-\frac {(1-e x) \left (a+b \log \left (c x^n\right )\right ) \log (1-e x)}{e}-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x)-(b n) \int \left (-1-\frac {(1-e x) \log (1-e x)}{e x}\right ) \, dx+\frac {(b n) \text {Subst}(\int \log (x) \, dx,x,1-e x)}{e}\\ &=2 b n x-x \left (a+b \log \left (c x^n\right )\right )+\frac {b n (1-e x) \log (1-e x)}{e}-\frac {(1-e x) \left (a+b \log \left (c x^n\right )\right ) \log (1-e x)}{e}-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x)+\frac {(b n) \int \frac {(1-e x) \log (1-e x)}{x} \, dx}{e}\\ &=2 b n x-x \left (a+b \log \left (c x^n\right )\right )+\frac {b n (1-e x) \log (1-e x)}{e}-\frac {(1-e x) \left (a+b \log \left (c x^n\right )\right ) \log (1-e x)}{e}-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x)-\frac {(b n) \text {Subst}\left (\int \frac {x \log (x)}{\frac {1}{e}-\frac {x}{e}} \, dx,x,1-e x\right )}{e^2}\\ &=2 b n x-x \left (a+b \log \left (c x^n\right )\right )+\frac {b n (1-e x) \log (1-e x)}{e}-\frac {(1-e x) \left (a+b \log \left (c x^n\right )\right ) \log (1-e x)}{e}-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x)-\frac {(b n) \text {Subst}\left (\int \left (-e \log (x)-\frac {e \log (x)}{-1+x}\right ) \, dx,x,1-e x\right )}{e^2}\\ &=2 b n x-x \left (a+b \log \left (c x^n\right )\right )+\frac {b n (1-e x) \log (1-e x)}{e}-\frac {(1-e x) \left (a+b \log \left (c x^n\right )\right ) \log (1-e x)}{e}-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x)+\frac {(b n) \text {Subst}(\int \log (x) \, dx,x,1-e x)}{e}+\frac {(b n) \text {Subst}\left (\int \frac {\log (x)}{-1+x} \, dx,x,1-e x\right )}{e}\\ &=3 b n x-x \left (a+b \log \left (c x^n\right )\right )+\frac {2 b n (1-e x) \log (1-e x)}{e}-\frac {(1-e x) \left (a+b \log \left (c x^n\right )\right ) \log (1-e x)}{e}-\frac {b n \text {Li}_2(e x)}{e}-b n x \text {Li}_2(e x)+x \left (a+b \log \left (c x^n\right )\right ) \text {Li}_2(e x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 113, normalized size = 1.07 \begin {gather*} \left (a+b \left (-n \log (x)+\log \left (c x^n\right )\right )\right ) \left (-x+\left (-\frac {1}{e}+x\right ) \log (1-e x)+x \text {Li}_2(e x)\right )+\frac {b n (3 e x+2 \log (1-e x)-2 e x \log (1-e x)+\log (x) (-e x+(-1+e x) \log (1-e x))+(-1-e x+e x \log (x)) \text {Li}_2(e x))}{e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.03, size = 0, normalized size = 0.00 \[\int \left (a +b \ln \left (c \,x^{n}\right )\right ) \polylog \left (2, e x \right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 146, normalized size = 1.38 \begin {gather*} {\left ({\left (3 \, b n - a\right )} x e - {\left ({\left (b n - a\right )} x e + b n\right )} {\rm Li}_2\left (x e\right ) - {\left ({\left (2 \, b n - a\right )} x e - 2 \, b n + a\right )} \log \left (-x e + 1\right ) + {\left (b x {\rm Li}_2\left (x e\right ) e - b x e + {\left (b x e - b\right )} \log \left (-x e + 1\right )\right )} \log \left (c\right ) + {\left (b n x {\rm Li}_2\left (x e\right ) e - b n x e + {\left (b n x e - b n\right )} \log \left (-x e + 1\right )\right )} \log \left (x\right )\right )} e^{\left (-1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 6.96, size = 136, normalized size = 1.28 \begin {gather*} \begin {cases} - a x \operatorname {Li}_{1}\left (e x\right ) + a x \operatorname {Li}_{2}\left (e x\right ) - a x + \frac {a \operatorname {Li}_{1}\left (e x\right )}{e} + 2 b n x \operatorname {Li}_{1}\left (e x\right ) - b n x \operatorname {Li}_{2}\left (e x\right ) + 3 b n x - b x \log {\left (c x^{n} \right )} \operatorname {Li}_{1}\left (e x\right ) + b x \log {\left (c x^{n} \right )} \operatorname {Li}_{2}\left (e x\right ) - b x \log {\left (c x^{n} \right )} - \frac {2 b n \operatorname {Li}_{1}\left (e x\right )}{e} - \frac {b n \operatorname {Li}_{2}\left (e x\right )}{e} + \frac {b \log {\left (c x^{n} \right )} \operatorname {Li}_{1}\left (e x\right )}{e} & \text {for}\: e \neq 0 \\0 & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \mathrm {polylog}\left (2,e\,x\right )\,\left (a+b\,\ln \left (c\,x^n\right )\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________